perm filename RALSTO.LE2[LET,JMC] blob sn#084444 filedate 1974-01-28 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	\\M0NGR40\M1BASL30\.
C00004 ENDMK
CāŠ—;
\\M0NGR40;\M1BASL30;\.
\F0\CSTANFORD ARTIFICIAL INTELLIGENCE LABORATORY
\CDEPARTMENT OF COMPUTER SCIENCE
\CSTANFORD UNIVERSITY
\CSTANFORD, CALIFORNIA 94305
\F1






						January 28, 1974







Dr. Anthony Ralston
Department of Computer Science
SUNY at Buffalo
4226 Ridge Lea Road
Buffalo, New York 14226

Dear Tony:

\J	Here is the revised version of my articlle on recursion.  In the main,
I have followed your suggestions.  However,

	1. I revised the discussion of primitive recursion and put in
an example, but I have left general recursion as is except for an example.

  	3. I assume you will have a separate article on BNF.  There is a
relation between BNF and recursively defined functions, but it seems too
involved to go into at the level of detail of the article.\.


						Best regards,


						John McCarthy
						Professor of Computer Science
						Director, Artificial Intelligence Laboratory